A Compositional Transformation to Bridge the Gap between the Technical System and the Computational System
نویسنده
چکیده
The majority of embedded applications with real-time constraints monitor and control a technical systems. The correct behavior of such a system typically is described in terms of the technical system. In contrast the embedded hardand software operates on an image of the technical system which is prone to deviations and delays. Therefore a compositional transformation is proposed which maps assertions specifying the behavior of the technical system to the program level conditions which guarantee for those assertions.
منابع مشابه
-
The development and evolution of any system–person, organization–nation depends on how the system succeeds to bridge the gap between what the system knows and what the system does (with the knowledge). We call this the gap between knowing and doing or the knowing-doing gap. If the system does not do what it knows, it will lose out in competition with other systems, its relative performance in...
متن کاملBridging the Gap Between Research and Policy and Practice; Comment on “CIHR Health System Impact Fellows: Reflections on ‘Driving Change’ Within the Health System”
Far too often, there is a gap between research and policy and practice. Too much research is undertaken with little relevance to real life problems or its reported in ways that are obscure and impenetrable. At the same time, many policies are developed and implemented but are untouched by, or even contrary to evidence. An accompanying paper describes an innovative progr...
متن کاملReliability Optimization for Complicated Systems with a Choice of Redundancy Strategies (TECHNICAL NOTE)
Redundancy allocation is one of the common techniques to increase the reliability of the bridge systems. Many studies on the general redundancy allocation problems assume that the redundancy strategy for each subsystem is predetermined and fixed. In general, active redundancy has received more attention in the past. However, in real world, a particular system design contains both active and col...
متن کاملCORRELATION BETWEEN CRYSTAL ORIENTATION AND NANOGAP FORMED BY ELECTRO MIGRATION
Effect of electro migration on crystal structures of platinum nanowire (Nano bridge) during Nano-gap formation is investigated by means of Transmission Electron Microscopy (TEM). Selected area diffraction patterns as well as bright field images are used for this investigation. There were severely recessions in the polycrystalline Nano bridge and crystal structures around the nanogap changed ...
متن کاملBridging the ‘Two Cultures’ of Research and Service: Can Complexity Theory Help?; Comment on “Experience of Health Leadership in Partnering With University-Based Researchers in Canada – A Call to ‘Re-imagine’ Research”
This commentary addresses Bowen et al’s empirical study of perspectives of Canadian healthcare staff towards research and their call for multi-faceted action to improve misalignments in the system. This commentary argues that tensions and misalignments between research and service are inherent and can never be eradicated. Building on previous work by Lanham et al, I pro...
متن کامل